A versatile implementation of the Prolog language
A Constraint Logic Programming (CLP) system
Declarative object-oriented logic programming language
A modern Prolog implementation written mostly in Rust.